<?php
function id(,$x) { }
